Cartesian closed category - PDFSEARCH.IO - Document Search Engine

Cartesian closed category
Results: 66

#	Item
51	Partial Combinatory Algebras and Realizability Toposes Pieter J.W. Hofstra University of Ottawa Add to Reading List Source URL: mysite.science.uottawa.ca Language: English - Date: 2012-03-30 10:43:13 Model theory Combinatory logic Logic in computer science Function Topos Functor Interpretation Cartesian closed category Adjoint functors Mathematics Mathematical logic Lambda calculus
52	Fibred Data Types Neil Ghani, Lorenzo Malatesta Add to Reading List Source URL: cs.swan.ac.uk Language: English - Date: 2013-05-02 18:57:40 Functors Algebraic topology Sheaf Limit Coproduct Initial and terminal objects Subcategory Cartesian closed category Diagram Category theory Abstract algebra Mathematics
53	Submitted to ICFP ’12 Functional Pearl: F for Functor Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-03-14 13:27:08 Natural transformation Monoidal functor Limit Diagram Monad Monoidal category Sheaf Cartesian closed category Grothendieck topology Category theory Abstract algebra Functors
54	Categories of Containers Michael Abbott1 , Thorsten Altenkirch2, and Neil Ghani1 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:34:31 Limit Adjoint functors Coproduct Equivalence of categories Product Cartesian closed category Initial and terminal objects Natural transformation Sheaf Category theory Abstract algebra Functors
55	What is a categorical model for Linear Logic? Andrea Schalk Department of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2004-10-15 10:42:33 Closed monoidal category Monoidal functor Monoidal natural transformation Monoid Braided monoidal category Cartesian closed category Product PRO Adjoint functors Category theory Monoidal categories Algebra
56	1 Comparing cartesian closed categories of Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-17 06:53:47 Continuous function Compact-open topology Locally compact space Exponential object Hausdorff space Cartesian closed category Uniform space Product topology Quotient space Topology General topology Compactly generated space
57	JFP 13 (2): 261–293, March[removed]c 2003 Cambridge University Press Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-09-20 06:53:49 Category Partial equivalence relation Morphism Apartness relation Setoid Functor Equivalence relation Cartesian closed category Total order Mathematics Category theory Abstract algebra
58	PDF Document Add to Reading List Source URL: www.uni-leipzig.de Language: English - Date: 2007-01-12 14:10:03 Fuzzy logic Algebraic structures Lattice theory Fuzzy set Heyting algebra Topos Cartesian closed category Membership function Category theory Mathematical logic Mathematics Abstract algebra
59	PDF Document Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2012-09-20 11:17:18 Lambda calculus Functors Adjoint functors Sketch Cartesian Equivalence of categories Natural transformation Limit 2-category Category theory Higher category theory Cartesian closed category
60	PDF Document Add to Reading List Source URL: www.site.uottawa.ca Language: English - Date: 2003-09-10 18:13:26 Functors Natural transformation Functor Equivalence of categories Cartesian closed category Monoidal category Category Monad Isomorphism of categories Category theory Abstract algebra Adjoint functors